#include <bits/stdint-intn.h>
#include <bits/stdint-uintn.h>
#include <errno.h>

uint32_t taskDelay( uint32_t ticks ) {
  return sleep( ticks );
}
int32_t errnoGet( void ) {
  return errno;
}